"Dag Prawitz" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Natural deduction: A proof-theoretical study

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

993 Kb

#2

Logic, methodology and philosophy of science IX: Proceedings Uppsala, 1991

Methodology, and Philosophy of Science (10th : 1995 : Florence, Italy) International Congress of Logic, Brian Skyrms, Dag Westerstahl, Dag Prawitz, B. Skyrms, D. Westerstahl

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

6.03 Mb

#3

Logic, Methodology and Philosophy of Science IX: Proceedings of the Ninth International Congress of Logic, Methodology, and Philosophy of Science, U: ... and Philosophy of Science// Proceedings)

Methodology, and Philosophy of Science (10th : 1995 : Florence, Italy) International Congress of Logic, Brian Skyrms, Dag Westerstahl, Dag Prawitz, B. Skyrms, D. Westerstahl

45.57 Mb